Adaptation of Asynchronously Communicating Software

نویسندگان

Carlos Canal

Gwen Salaün

چکیده

Software adaptation techniques aim at generating new components called adapters, which make a set of services work correctly together by compensating for existing mismatch. Most approaches assume that services interact synchronously using rendez-vous communication. In this paper, we focus on asynchronous communication, where services interact exchanging messages via buffers. We overview a method for automatically generating adapters in such asynchronous environments.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Stability-Based Adaptation of Asynchronously Communicating Software

Software Adaptation aims at composing incompatible blackbox components or services (peers) whose individual functionality is as required for the new system. Adaptation techniques aim at automatically generating new components called adapters. An adapter works as an orchestrator and makes the involved peers work correctly together by receiving all messages exchanged in the system and by correcti...

متن کامل

Checking Asynchronously Communicating Components Using Symbolic Transition Systems

Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reuse, coordination, adaptation and verification issues. Such protocol languages often deal with synchronous communication. However, in the context of distributed systems, components communicating asynchronously through mailboxes ...

متن کامل

Compatibility Checking for Asynchronously Communicating Software

Compatibility is a crucial problem that is encountered while constructing new software by reusing and composing existing components. A set of software components is called compatible if their composition preserves certain properties, such as deadlock freedom. However, checking compatibility for systems communicating asynchronously is an undecidable problem, and asynchronous communication is a c...

متن کامل

On Test Case Generation from Asynchronously Communicating State Machines

This paper proposes an approach for generating test cases in Concurrent TTCN from a system of asynchronously communicating nite state machines. We give an algorithm for generating a noninterleaving model of prime event structures from a generalized model of asynchronously communicating nite state machines and deal with the generation of test cases from prime event structures.

متن کامل